1. Independence-friendly logic : a game-theoretic approach
پدیدآورنده : Mann, Allen Lawrence
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، First-order logic,، Game theory
رده :
BC
128
.
M26I5
